Optimal. Leaf size=305 \[ -\frac{4 d^2 (c+d x) \text{PolyLog}\left (2,-i e^{e+f x}\right )}{a^2 f^3}+\frac{4 d^3 \text{PolyLog}\left (3,-i e^{e+f x}\right )}{a^2 f^4}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{f x}{2}+\frac{i \pi }{4}\right )}{a^2 f^3}-\frac{2 d (c+d x)^2 \log \left (1+i e^{e+f x}\right )}{a^2 f^2}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}+\frac{i \pi }{4}\right )}{2 a^2 f^2}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}+\frac{i \pi }{4}\right )}{3 a^2 f}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}+\frac{i \pi }{4}\right ) \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}+\frac{i \pi }{4}\right )}{6 a^2 f}+\frac{(c+d x)^3}{3 a^2 f}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{f x}{2}+\frac{i \pi }{4}\right )\right )}{a^2 f^4} \]
[Out]
________________________________________________________________________________________
Rubi [A] time = 0.397799, antiderivative size = 305, normalized size of antiderivative = 1., number of steps used = 10, number of rules used = 9, integrand size = 23, \(\frac{\text{number of rules}}{\text{integrand size}}\) = 0.391, Rules used = {3318, 4186, 4184, 3475, 3716, 2190, 2531, 2282, 6589} \[ -\frac{4 d^2 (c+d x) \text{PolyLog}\left (2,-i e^{e+f x}\right )}{a^2 f^3}+\frac{4 d^3 \text{PolyLog}\left (3,-i e^{e+f x}\right )}{a^2 f^4}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{f x}{2}+\frac{i \pi }{4}\right )}{a^2 f^3}-\frac{2 d (c+d x)^2 \log \left (1+i e^{e+f x}\right )}{a^2 f^2}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}+\frac{i \pi }{4}\right )}{2 a^2 f^2}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}+\frac{i \pi }{4}\right )}{3 a^2 f}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{f x}{2}+\frac{i \pi }{4}\right ) \text{sech}^2\left (\frac{e}{2}+\frac{f x}{2}+\frac{i \pi }{4}\right )}{6 a^2 f}+\frac{(c+d x)^3}{3 a^2 f}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{f x}{2}+\frac{i \pi }{4}\right )\right )}{a^2 f^4} \]
Antiderivative was successfully verified.
[In]
[Out]
Rule 3318
Rule 4186
Rule 4184
Rule 3475
Rule 3716
Rule 2190
Rule 2531
Rule 2282
Rule 6589
Rubi steps
\begin{align*} \int \frac{(c+d x)^3}{(a+i a \sinh (e+f x))^2} \, dx &=\frac{\int (c+d x)^3 \csc ^4\left (\frac{1}{2} \left (i e+\frac{\pi }{2}\right )+\frac{i f x}{2}\right ) \, dx}{4 a^2}\\ &=\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{2 a^2 f^2}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{6 a^2 f}-\frac{\int (c+d x)^3 \text{csch}^2\left (\frac{e}{2}-\frac{i \pi }{4}+\frac{f x}{2}\right ) \, dx}{6 a^2}+\frac{d^2 \int (c+d x) \text{csch}^2\left (\frac{e}{2}-\frac{i \pi }{4}+\frac{f x}{2}\right ) \, dx}{a^2 f^2}\\ &=\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{2 a^2 f^2}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{a^2 f^3}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{6 a^2 f}+\frac{\left (2 d^3\right ) \int \coth \left (\frac{e}{2}-\frac{i \pi }{4}+\frac{f x}{2}\right ) \, dx}{a^2 f^3}-\frac{d \int (c+d x)^2 \coth \left (\frac{e}{2}-\frac{i \pi }{4}+\frac{f x}{2}\right ) \, dx}{a^2 f}\\ &=\frac{(c+d x)^3}{3 a^2 f}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )\right )}{a^2 f^4}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{2 a^2 f^2}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{a^2 f^3}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{6 a^2 f}-\frac{(2 i d) \int \frac{e^{2 \left (\frac{e}{2}+\frac{f x}{2}\right )} (c+d x)^2}{1+i e^{2 \left (\frac{e}{2}+\frac{f x}{2}\right )}} \, dx}{a^2 f}\\ &=\frac{(c+d x)^3}{3 a^2 f}-\frac{2 d (c+d x)^2 \log \left (1+i e^{e+f x}\right )}{a^2 f^2}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )\right )}{a^2 f^4}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{2 a^2 f^2}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{a^2 f^3}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{6 a^2 f}+\frac{\left (4 d^2\right ) \int (c+d x) \log \left (1+i e^{2 \left (\frac{e}{2}+\frac{f x}{2}\right )}\right ) \, dx}{a^2 f^2}\\ &=\frac{(c+d x)^3}{3 a^2 f}-\frac{2 d (c+d x)^2 \log \left (1+i e^{e+f x}\right )}{a^2 f^2}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )\right )}{a^2 f^4}-\frac{4 d^2 (c+d x) \text{Li}_2\left (-i e^{e+f x}\right )}{a^2 f^3}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{2 a^2 f^2}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{a^2 f^3}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{6 a^2 f}+\frac{\left (4 d^3\right ) \int \text{Li}_2\left (-i e^{2 \left (\frac{e}{2}+\frac{f x}{2}\right )}\right ) \, dx}{a^2 f^3}\\ &=\frac{(c+d x)^3}{3 a^2 f}-\frac{2 d (c+d x)^2 \log \left (1+i e^{e+f x}\right )}{a^2 f^2}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )\right )}{a^2 f^4}-\frac{4 d^2 (c+d x) \text{Li}_2\left (-i e^{e+f x}\right )}{a^2 f^3}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{2 a^2 f^2}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{a^2 f^3}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{6 a^2 f}+\frac{\left (4 d^3\right ) \operatorname{Subst}\left (\int \frac{\text{Li}_2(-i x)}{x} \, dx,x,e^{2 \left (\frac{e}{2}+\frac{f x}{2}\right )}\right )}{a^2 f^4}\\ &=\frac{(c+d x)^3}{3 a^2 f}-\frac{2 d (c+d x)^2 \log \left (1+i e^{e+f x}\right )}{a^2 f^2}+\frac{4 d^3 \log \left (\cosh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )\right )}{a^2 f^4}-\frac{4 d^2 (c+d x) \text{Li}_2\left (-i e^{e+f x}\right )}{a^2 f^3}+\frac{4 d^3 \text{Li}_3\left (-i e^{e+f x}\right )}{a^2 f^4}+\frac{d (c+d x)^2 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{2 a^2 f^2}-\frac{2 d^2 (c+d x) \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{a^2 f^3}+\frac{(c+d x)^3 \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{3 a^2 f}+\frac{(c+d x)^3 \text{sech}^2\left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right ) \tanh \left (\frac{e}{2}+\frac{i \pi }{4}+\frac{f x}{2}\right )}{6 a^2 f}\\ \end{align*}
Mathematica [A] time = 6.24652, size = 443, normalized size = 1.45 \[ \frac{\frac{2 d \left (-6 c d \left (1+i e^e\right ) \text{PolyLog}\left (2,i e^{-e-f x}\right )-6 d^2 \left (1+i e^e\right ) \left (x \text{PolyLog}\left (2,i e^{-e-f x}\right )+\frac{\text{PolyLog}\left (3,i e^{-e-f x}\right )}{f}\right )+\frac{3 \left (1+i e^e\right ) \left (2 d^2-c^2 f^2\right ) \left (f x-\log \left (-e^{e+f x}+i\right )\right )}{f}+3 c^2 f^2 x+6 c d \left (1+i e^e\right ) f x \log \left (1-i e^{-e-f x}\right )+3 c d f^2 x^2+3 d^2 \left (1+i e^e\right ) f x^2 \log \left (1-i e^{-e-f x}\right )+d^2 f^2 x^3-6 d^2 x\right )}{-1-i e^e}+\frac{(c+d x) \left (i \left (c^2 f^2+2 c d f^2 x+d^2 \left (f^2 x^2-6\right )\right ) \cosh \left (e+\frac{3 f x}{2}\right )+3 \sinh \left (\frac{f x}{2}\right ) \left (c^2 f^2+2 c d f^2 x+d^2 \left (f^2 x^2-4\right )\right )+3 i d f (c+d x) \sinh \left (e+\frac{f x}{2}\right )+3 d f (c+d x) \cosh \left (\frac{f x}{2}\right )+6 i d^2 \cosh \left (e+\frac{f x}{2}\right )\right )}{\left (\cosh \left (\frac{e}{2}\right )+i \sinh \left (\frac{e}{2}\right )\right ) \left (\cosh \left (\frac{1}{2} (e+f x)\right )+i \sinh \left (\frac{1}{2} (e+f x)\right )\right )^3}}{3 a^2 f^3} \]
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [B] time = 0.141, size = 723, normalized size = 2.4 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [B] time = 1.99941, size = 856, normalized size = 2.81 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [C] time = 2.60388, size = 2147, normalized size = 7.04 \begin{align*} \text{result too large to display} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] time = 0., size = 0, normalized size = 0. \begin{align*} \text{Timed out} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F] time = 0., size = 0, normalized size = 0. \begin{align*} \int \frac{{\left (d x + c\right )}^{3}}{{\left (i \, a \sinh \left (f x + e\right ) + a\right )}^{2}}\,{d x} \end{align*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]